Constraint Checking for Business Process Management
نویسندگان
چکیده
Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose and describe the use of constraint satisfaction problems as a formal mean for representing these business constraints. We propose a multi-level constraint satisfaction approach to handle different levels of abstraction in business process modelling. We elaborate on the modelling of compliance requirements using constraint satisfaction and discuss implications of this technique such as problem solving strategies. This work shows that a certain class of compliance problems which can be grounded to constraint satisfaction problems can be solved efficiently using the proposed approach.
منابع مشابه
Business process verification with constraint temporal answer set programming
The paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP) with temporal logic and constraints. The framework allows to capture expressive fluent annotations as well as data awareness in a uniform way. It allows for a declarative specification of a business process but also for encoding processes specified in conventional wor...
متن کاملOn compliance checking for clausal constraints in annotated process models
Compliance management is important in several industry sectors where there is a high incidence of regulatory control. It must be ensured that business practices, as reflected in business processes, comply with the rules. Such compliance checks are challenging due to (1) the different life cycles of rules and processes, and (2) their disparate representations. (1) requires retrospective checking...
متن کاملSystem Monitoring using Constraint Checking as part of Model Based System Management
Nowadays the result of a software development process is in many cases a complex system. Critical factors that contribute to a higher degree of complexity are the size, dynamicity or heterogeneity of the developed system. Furthermore many stakeholders with different viewpoints and different interests have a need for different management features. Thus it is possible to make use of model-driven ...
متن کاملA static compliance-checking framework for business process models
Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check compliance of process models against compliance rules are becoming important. In this paper, we present a method for improving the reliability and minimizing the risk of f...
متن کاملFormalizing Dependencies in Business Process Models Using Constraint Satisfaction
Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management [Sch00], we propose and describe the use of constraint satisfaction problems [Dec03] as a formal mean for representing these dependencies [Run09, REK09]. We describe different scenarios using constraint satisfaction for the modellin...
متن کامل